opaque type switch = number;
